241. Probabilistic Safety Assessment and Management
پدیدآورنده: edited by Cornelia Spitzer, Ulrich Schmocker, Vinh N. Dang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Information Systems.,Operating systems (Computers)
242. Proceedings of the 4th Workshop "Computers in Chemistry :
پدیدآورنده: J. Gasteiger (ed.). Organized by the Working Group CIC, Computer in der Chemie d. GDCh-Fachgruppe Chemie-Information.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemie.,Computer.,Softwareentwicklung.
رده :
QD39
.
3
.
E46
J437
1990
243. Product-focused software process improvement :
پدیدآورنده: Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
244. Programming Strauctures
پدیدآورنده: Jan Hext
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic digital and computers- Programming,Data Structures (computer science),Structured programming
رده :
QA
،
76
.
6
،.
H49
،
1990
245. Programming and algorithmic languages
پدیدآورنده: Yu. Mitnik, A. Khmelnitsky
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses,Data structures (Computer science) -- Congresses
رده :
QA
،
76
.
7
،.
P7
،
1987
246. Programming in Modula-2
پدیدآورنده: Niklaus Wirth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Modula-2 (Computer program language),Modula-2 (Langage de programmation),Programmation (Informatique)
رده :
QA76
.
73
.
M63
N555
1982
247. Programming language structures
پدیدآورنده: Organick, Elliott Irving
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(
رده :
QA
76
.
7
.
O73
248. Programming language structures
پدیدآورنده: Organick, Elliott Irving
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(
رده :
QA
76
.
7
.
O73
249. Programming structures
پدیدآورنده: / Jan Hext
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers - Programming,Data structures (Computer science),Structured programming
رده :
QA
76
.
6
.
H49
1990
250. Programming with data structures
پدیدآورنده: / Robert L. Kruse
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Electronic digital computers - - Programming,Data structures (computer science),Pascal (Computer program language)
رده :
QA
76
.
6
.
K774
1989
251. Programming with data structures
پدیدآورنده: / Robert L. Kruse
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers--Programming,Data structures (computer science),Pascal (Computer program language)
رده :
QA
76
.
6
.
K774
1989
252. Programming with data structures:pascal version
پدیدآورنده: KRUSE,ROBERT LEROY
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DATA STRUCTURES )COMPUTER SCIENCE( , PASCAL )COMPUTER PROGRAM
رده :
QA
76
.
6
.
K774
253. Progress in cryptology -- AFRICACRYPT 2018 :
پدیدآورنده: Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Algorithms & data structures.,Computer hardware.,Computer security.,Computer security.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Data encryption (Computer science),Information technology: general issues.,Network hardware.
رده :
QA76
.
9
.
A25
254. Provable security :
پدیدآورنده: Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
255. Python basics :
پدیدآورنده: H. Bhasin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Python (Computer program language),Scripting languages (Computer science),Computer programming.,COMPUTERS-- Programming Languages-- Python.,Python (Computer program language),Scripting languages (Computer science)
رده :
QA76
.
73
.
P98
B453
2019eb
256. Python for data science /
پدیدآورنده: by Luca Massaron and John Paul Mueller
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining,Data structures (Computer science),Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
257. Quality of protection :
پدیدآورنده: edited by Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Quality control, Congresses.,Computer networks-- Standards, Congresses.,Computer security-- Quality control, Congresses.,Computer security-- Standards, Congresses.,Computer networks-- Quality control.,Computer networks-- Quality control.,Computer networks-- Standards.,Computer networks-- Standards.,Computer security-- Quality control.,Computer security-- Standards.,Computer security-- Standards.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Informatique.
رده :
QA76
.
9
.
A25
Q35
2006eb
258. R for everyone :
پدیدآورنده: Jared P. Lander.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation.,R (Computer program language),Scripting languages (Computer science),Statistics-- Data processing.,Statistics-- Graphic methods-- Data processing.,Computer simulation.,COMPUTERS / Mathematical & Statistical Software,COMPUTERS / Programming Languages / General,R (Computer program language),Scripting languages (Computer science),Statistics-- Data processing.,Statistics-- Graphic methods-- Data processing.
رده :
QA76
.
73
.
R3
259. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
260. Real-time control of walking
پدیدآورنده: Marc D. Donner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
TJ211
.
M373
1987
